Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
641	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science
642	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics
643	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
644	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
645	SOLUTIONS FOR PROFESSIONAL SERVICES The Perceptive Edge Deployment Methodology Your business has unique goals, and Perceptive Software Professional Services has the knowledge, skills, and experience Add to Reading List Source URL: www.cannon4.com Language: English - Date: 2014-08-07 09:43:43 Software development process Outsourcing Transition methodology Systems engineering process Project management Science Management Knowledge ISO/IEC 12207 Formal methods Systems engineering Software engineering
646	Software Development Moves from a Craft to an Engineering Discipline Using the Essence Standard Asian Telecommunications Equipment Vendor Successfully Achieves Rapid and Sustainable Agile Transformation Add to Reading List Source URL: www.ivarjacobson.com Language: English - Date: 2015-01-05 15:46:11 Software project management Project management Formal methods Ivar Jacobson Software development process DevOps Scrum Agile42 ThoughtWorks Software development Agile software development Software
647	Washing Behind Your Ears: Principles of Software Hygiene David M. Tilbrook, John McMullen Sietec Open Systems Division ABSTRACT This paper presents a discussion of the objectives of and impediments to software Add to Reading List Source URL: www.qef.com Language: English - Date: 2004-01-21 02:36:40 Software licenses Formal methods Technical communication Methodology Software development process Software engineering Free and open source software Software bug Project management Software Computing Computer programming
648	POWER AND LIMITATIONS OF FORMAL METHODS FOR SOFTWARE FABRICATION Michael Jackson AIT Conference 11th FebruaryINTRODUCTION Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-07 13:28:30 Computing Data Communications protocol Formal specification Logic Actor model Software security assurance Formal sciences Formal methods Science
649	Software Assurance: An Overview of Current Industry Best Practices Add to Reading List Source URL: www.safecode.org Language: English - Date: 2014-08-15 16:06:20 Computing Formal methods Evaluation Software project management Computer security Software assurance Software development process Common Criteria Quality assurance Software quality Management Business
650	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation

UPDATE